all:
	ocamllex boogie.mll
	ocamlc boogie.ml -o lex
	rm -f boogie.ml *.cmo *.cmi


